User Forums Deliver Value Petrosys gathered with more than 90 customers at its user forums in SeptemberAttendees represented a cross section of the global E&P community, from geoscientists to IT

Source URL: www.petrosys.com.au

• Computing
• Data management
• ArcSDE
• Oracle Database
• Database
• Oracle Spatial
• Geography Markup Language
• GIS software
• Software
• Relational database management systems

R E ACT ! An Interactive Tool for Hybrid Planning in Robotics Zeynep Dogmus, Volkan Patoglu and Esra Erdem Faculty of Engineering and Natural Sciences, Sabancı University, ˙Istanbul, Turkey Email: {zeynepdogmus,vpatogl

Source URL: faculty.cua.edu

• Logic programming
• Automated planning and scheduling
• Formal methods
• Reasoning
• Action description language
• Answer set programming
• Action language
• Algorithm
• Boolean satisfiability problem
• Theoretical computer science
• Applied mathematics
• Artificial intelligence

QPC Keywords This Keyword Reference Guide lists all the QPC keywords in alphabetical order: A brief explanation of the keywords function is given followed by loose definition of the syntax and examples of usage. This gui

Source URL: www.kilgus.net

• SMSQ/E
• Software
• Computing
• Bc programming language

Towards a Portable and Mobile Scheme Interpreter Adrien Pi´erard Marc Feeley Universit´e Paris 6

Source URL: repository.readscheme.org

• Subroutines
• Functional programming
• Scheme programming language
• Functional languages
• Control flow
• Scheme
• Closure
• Continuation
• Lambda calculus
• Software engineering
• Computing
• Computer programming

Statistics with R and S-Plus tutorial presented at the Third Workshop on Experimental Methods in Language Acquisition Research (EMLAR) Hugo Quen´ e

Source URL: cran.at.r-project.org

• Variables
• Elementary mathematics
• Multivariate statistics
• Econometrics
• SPSS
• R
• Object
• Linear discriminant analysis
• Function
• Statistics
• Mathematics
• Data types

Spam Filtering using Inexact String Matching in Explicit Feature Space with On-Line Linear Classifiers D. Sculley, Gabriel M. Wachman, and Carla E. Brodley Department of Computer Science, Tufts University Medford, MA 021

Source URL: trec.nist.gov

• Machine learning
• Computing
• Artificial intelligence
• Spamming
• Natural language processing
• Anti-spam techniques
• Pattern recognition
• Naive Bayes classifier
• Perceptron
• Statistics
• Statistical classification
• Spam filtering

Vocabulary Building Support System by Converting Web Pages Taro Yabuki, Hiroshi Sakuta and Hiroki Yoshioka Department of Integrated Information and Technology, College of Science and Engineering, Aoyama Gakuin Universit

Source URL: linc.mit.edu

• Distance education
• Educational psychology
• Cognitive science
• Learning to read
• Lexicography
• Vocabulary
• Microsoft Word
• E-learning
• Language acquisition
• Education
• Linguistics
• Knowledge

Language: Norwegian Day: 1 Torsdag 16. april 2015 Oppgave 1. La ABC være en spissvinklet trekant, og la D være fotpunktet til høyden fra C. Halveringslinjen til vinkelen ∠ABC skjærer CD i E, og møter ADE-s omsirke

Source URL: www.egmo.org

Under consideration for publication in Math. Struct. in Comp. Science A Type System for Discretionary Access Control M I C H E L E B U G L I E S I1 , D A R I O C O L A Z Z O2 , S I L V I A C R A F A3 , and D A M I A N O

Source URL: www.dsi.unive.it

• Programming language theory
• Type system
• Lambda calculus
• Subtype polymorphism
• System F
• Π-calculus
• Type safety
• Type theory
• Software engineering
• Theoretical computer science

Language: Polish Day: 1 Czwartek, 16. kwietnia 2015 Zadanie 1. W trójkącie ostrokątnym ABC punkt D jest spodkiem wysokości opuszczonej z wierzchołka C. Dwusieczna kąta ∠ABC przecina prostą CD w punkcie E, oraz p

Source URL: www.egmo.org